TAGs: rewrite quadratic function